-
1 algorithmic deduction
Большой англо-русский и русско-английский словарь > algorithmic deduction
-
2 algorithmic deduction
Англо-русский словарь технических терминов > algorithmic deduction
-
3 algorithmic deduction
Техника: алгоритмический вывод -
4 deduction
-
5 алгоритмический вывод
Большой англо-русский и русско-английский словарь > алгоритмический вывод
-
6 алгоритмический вывод
Англо-русский словарь технических терминов > алгоритмический вывод
-
7 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language
См. также в других словарях:
Ambiguity — Sir John Tenniel s illustration of the Caterpillar for Lewis Carroll s Alice s Adventures in Wonderland is noted for its ambiguous central figure, whose head can be viewed as being a human male s face with a pointed nose and pointy chin or being… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Constructivism (mathematics) — In the philosophy of mathematics, constructivism asserts that it is necessary to find (or construct ) a mathematical object to prove that it exists. When one assumes that an object does not exist and derives a contradiction from that assumption,… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Scientific method — … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
History of logic — Philosophy ( … Wikipedia